Progress in High-Speed Calculating Machine Design

Calculating an exceptional machine

In previous work we showed how to verify a compiler for a small language with exceptions. In this article we show how to calculate, as opposed to verify, an abstract machine for this language. The key step is the use of Reynold’s defunctionalization, an old program transformation technique that has recently been rejuvenated by the work of Danvy et al.

High-Speed Reclosing System and Machine Considerations

Machine Learning for High-Speed Corner Detection

Goal A very fast, high quality corner detector. Contributions 1. The segment-test algorithm for detecting features. 2. Machine learning used to create very efficient implementation: the FAST feature detector. 3. Extensive testing of the new detector against existing ones. Results 1. Extremely fast feature detector: uses less than 7% of the available CPU time in live video feeds. 2. Very high qu...

Progress in calculating tonality of technical sounds

Noises with tonal components, howling sounds, and modulated signals are often the cause of customer complaints when emitted from technical products. The perception and evaluation of sound events containing such components has become increasingly important, e.g., in the field of vehicle acoustics for the assessment of tonality due to alternative drives. Furthermore, Information Technology (IT) d...

High-Speed PCB Design Considerations

The backplane is the physical interconnection where typically all electrical modules of a system converge. Complex systems rely on the wires, traces, and connectors of the backplane to handle large amounts of data at high speed. The communication between the various backplane modules depends on the inherent electrical characteristics such as impedance, capacitance, and inductance derived from c...